# -*- shell-script -*- :mode=shellscript:

ISABELLE_PROOFCOUNT_HOME="$COMPONENT"
ISABELLE_PROOFCOUNT_VERSION="proofcount-0.1"

ISABELLE_TOOLS="$ISABELLE_TOOLS:$ISABELLE_PROOFCOUNT_HOME/lib/Tools"
